Johansson I., "Der Minimalkalkül, ein reduzierter intuitionistischer Formalismus"